A Billion SMT Queries a Day (Invited Paper)

Mechanical Properties of Irregular Fiber (Invited Review Paper)

Irregularities are inherent to virtually all fibers, including the conventional textile fibers, the high-performance brittle fibers and newly developed nano-fibers. These irregularities can fall into two main categories: dimensional or geometrical irregularity (external) and structural irregularity (internal). For natural fibers such as wool, diameter variation along fiber length is atypical ex...

59.1: Invited Paper: A Display Simulation Toolbox

The Display Simulation Toolbox (DST) is an integrated suite of software tools that help the user characterize the key properties of display devices and predict the radiance of displayed images. Assuming that pixel emissions are independent, the DST uses the sub-pixel point spread functions, spectral power distributions, and gamma curves to calculate display image radiance. For LCD displays, the...

Invited paper: Pruning methods: a review

Chemical Reaction Optimization: a tutorial - (Invited paper)

Chemical Reaction Optimization (CRO) is a recently establishedmetaheuristics for optimization, inspired by the nature of chemical reactions. A chemical reaction is a natural process of transforming the unstable substances to the stable ones. In microscopic view, a chemical reaction starts with some unstable molecules with excessive energy. Themolecules interact with each other through a sequenc...

Invited paper: Supervised classification: a probabilistic approach